Integrating User Design and Formal Models within PVSio-Web
نویسندگان
چکیده
منابع مشابه
Integrating Formalized User Experience within Building Design Models
Traditional modeling efforts in AEC have generally focused on design descriptions. As a result they do not consider information on how settings perform during use in areas critical to building owners and users. The authors argue that integrating performance data from buildings-in-use in building models will greatly enhance the end uses of conceptual modeling efforts in AEC, in design evolution ...
متن کاملEvaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web
Critical human-machine interfaces are present in many systems including avionics systems and medical devices. Use error is a concern in these systems both in terms of hardware panels and input devices, and the software that drives the interfaces. Guaranteeing safe usability, in terms of buttons, knobs and displays is now a key element in the overall safety of the system. New integrated developm...
متن کاملIntegrating user-perceived quality into Web server design
As the number of Web users and the diversity of Web applications continues to explode, Web Quality of Service (QoS) is an increasingly critical issue in the domain of e-Commerce. This paper presents experiments designed to estimate users' tolerance of QoS in the context of e-commerce. In addition to objective measures, we discuss contextual factors that influence these thresholds and show how u...
متن کاملUsing formal models to design user interfaces: a case study
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such as reachability and completeness and, perhaps most importantly, can help incorporate the user interface design process into a larger, formally-based, software development process. Often, descriptions of such models an...
متن کاملFormal Models of Web
| We present a new formal model of query and computation on the Web. We focus on two important aspects that distinguish the access to Web data from the access to a standard database system: the navigational nature of the access and the lack of concurrency control. We show that these two issues have signiicant eeects on the computability of queries. To illustrate the ideas and how they can be us...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2018
ISSN: 2075-2180
DOI: 10.4204/eptcs.284.8